Trace diagrams and biquandle brackets
نویسندگان
چکیده
منابع مشابه
Formalizing Requirements for Distributed Systems with Trace Diagrams
Graphical formalisms can be useful to bridge the gap between informal requirements written by application experts and formal requirements used by formal methods experts. Trace diagrams are a new graphical formalism that was developed during several case studies in the telecommunications area to express relations between allowed and disallowed sequences of communications. This paper introduces t...
متن کاملAutomatic Synthesis of State Machines from Trace Diagrams
The automatic synthesis of state machines describing the behaviour of a class of objects in objectoriented software modelling is studied. It is shown that the synthesis can be carried out on the basis of trace diagrams giving possible sequences of events during the execution of the system. An algorithm originally developed for the automatic construction of programs on the basis of their executi...
متن کاملCarter–Penrose diagrams and differential spaces
In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.
متن کاملQuantum and Classic Brackets
We describe an p-mechanical (see funct-an/9405002 and quantph/9610016) brackets which generate quantum (commutator) and classic (Poisson) brackets in corresponding representations of the Heisenberg group. We do not use any kind of semiclassic approximation or limiting procedures for ~ → 0.
متن کاملPrequantization and Lie Brackets
We start by describing the relationship between the classical prequantization condition and the integrability of a certain Lie algebroid associated to the problem and use this to give a global construction of the prequantizing bundle in terms of path spaces (Introduction), then we rephrase the problem in terms of groupoids (second section), and then we study the more general problem of prequant...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Mathematics
سال: 2017
ISSN: 0129-167X,1793-6519
DOI: 10.1142/s0129167x1750104x